Special section: International Conference on Graph Transformation ICGT 2004

JOURNAL ARTICLE published 13 August 2007 in Software & Systems Modeling

Authors: Francesco Parisi-Presicce

UML 3.0 and the future of modeling

JOURNAL ARTICLE published March 2004 in Software & Systems Modeling

Authors: Cris Kobryn

How to write a successful SoSyM submission

JOURNAL ARTICLE published October 2016 in Software & Systems Modeling

Authors: Jeff Gray | Bernhard Rumpe

Bridging the chasm between MDE and the world of compilation

JOURNAL ARTICLE published October 2012 in Software & Systems Modeling

Authors: Jean-Marc Jézéquel | Benoit Combemale | Steven Derrien | Clément Guy | Sanjay Rajopadhye

MetaMorph: formalization of domain-specific conceptual modeling methods—an evaluative case study, juxtaposition and empirical assessment

JOURNAL ARTICLE published February 2023 in Software and Systems Modeling

Authors: Victoria Döller | Dimitris Karagiannis | Wilfrid Utz

Counterexample classification

JOURNAL ARTICLE published 26 July 2023 in Software and Systems Modeling

Research funded by National Science Foundation (CNS-1801546)

Authors: Cole Vick | Eunsuk Kang | Stavros Tripakis

Resolving model inconsistencies using automated regression planning

JOURNAL ARTICLE published February 2015 in Software & Systems Modeling

Authors: Jorge Pinna Puissant | Ragnhild Van Der Straeten | Tom Mens

Guest editorial for EMMSAD’2020 special section

JOURNAL ARTICLE published August 2021 in Software and Systems Modeling

Authors: Iris Reinhartz-Berger | Jelena Zdravkovic

Automated anonymity verification of the ThreeBallot and VAV voting systems

JOURNAL ARTICLE published October 2016 in Software & Systems Modeling

Authors: Murat Moran | James Heather | Steve Schneider

Formal verification of software source code through semi-automatic modeling

JOURNAL ARTICLE published February 2005 in Software & Systems Modeling

Authors: Cindy Eisner

Domain analysis of dynamic system reconfiguration

JOURNAL ARTICLE published 20 November 2007 in Software & Systems Modeling

Authors: James D’Arcy Walsh | Francis Bordeleau | Bran Selic

Procedure-modular specification and verification of temporal safety properties

JOURNAL ARTICLE published February 2015 in Software & Systems Modeling

Authors: Siavash Soleimanifard | Dilian Gurov | Marieke Huisman

Distributed model validation with Epsilon

JOURNAL ARTICLE published October 2021 in Software and Systems Modeling

Research funded by Horizon 2020 Framework Programme (732223)

Authors: Sina Madani | Dimitris Kolovos | Richard F. Paige

Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA3)

JOURNAL ARTICLE published February 2022 in Software and Systems Modeling

Authors: Wiktor B. Daszczuk

Imperative versus declarative constraint specification languages: a controlled experiment

JOURNAL ARTICLE published February 2021 in Software and Systems Modeling

Authors: Azzam Maraee | Arnon Sturm

Modeling to improve quality or efficiency? An automotive domain perspective

JOURNAL ARTICLE published July 2012 in Software & Systems Modeling

Authors: Robert France | Bernhard Rumpe

Experimental evaluation of a novel equivalence class partition testing strategy

JOURNAL ARTICLE published February 2019 in Software & Systems Modeling

Authors: Felix Hübner | Wen-ling Huang | Jan Peleska

Colouring: execution, debug and analysis of QVT-relations transformations through coloured Petri nets

JOURNAL ARTICLE published October 2014 in Software & Systems Modeling

Authors: Esther Guerra | Juan de Lara

Selecting a process variant modeling approach: guidelines and application

JOURNAL ARTICLE published April 2019 in Software & Systems Modeling

Research funded by European Union H2020 (MCIF 660646)

Authors: Banu Aysolmaz | Dennis M. M. Schunselaar | Hajo A. Reijers | Ali Yaldiz

An ontology-based framework for domain-specific modeling

JOURNAL ARTICLE published February 2014 in Software & Systems Modeling

Authors: Tobias Walter | Fernando Silva Parreiras | Steffen Staab